A model for reasoning about JavaScript promises
نویسندگان
چکیده
منابع مشابه
Reasoning about Therapy from a Physiological Model
In many medical domains a causal physiological model provides a knowledge base of relationships useful for reasoning about diagnosis, management, prognosis, and basic understanding of the processes. This paper reports on our e orts to develop algorithms for reasoning about the potential e ects of therapy in the context of a system designed to assist the physician in diagnosis and management of ...
متن کاملReasoning about Circuits: a Model-based Approach
Most of the work on behavior prediction in the eld of Qualitative Reasoning has focused on transient behavior and responses to perturbations; very little has been done regarding systems in steady state. A large class of systems, especially in the area of power systems, are designed for sinusoidal steady-state operation. Thus, an understanding of the steady state behavior of electrical circuits ...
متن کاملModel-Based Reasoning About Cases
Our bioprocess recipe planner Sophist (Aarts & Rousu, 1996) uses a qualitative model to represent a large amount of domain knowledge. This knowledge is used to analyse differences between cases, to construct adaptations, to evaluate suggested plan changes and to explain outcomes. The module for Qualitative Modeling in a CBR system (QMC) was especially developed to support these CaseBased Reason...
متن کاملA Model for Reasoning about Bidemsional Temporal Relations
This paper introduces the rectangle algebra as the power set of the set of the pairs of atomic relations which can hold between two rational intervals. It goes on proving that the question of the consistency of a rectangle network which constraints are preconvex is decidable by means of the path-consistency method in time polynomial in the length of the network.
متن کاملA Hybrid Model for Reasoning about Composed Hardware Systems
To formally specify and reason about composed systems, a process algebra is developed that integrates an extended interpreter model. This approach utilizes the interpreter model for device decomposition , while also being able to reason about larger systems that require interdevice communication. By combining these approaches, convenient notations are available to specify and verify both device...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2017
ISSN: 2475-1421
DOI: 10.1145/3133910